let rec map f l =
if (l = []) then [] else ( (f (head l)) :: (map f (tail l)) ) in
(map (fun x -> x + 1) ([1;2;3;4]) )
;;












		
